$P$ $\vee$ $Q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$P$ + $Q$